#include <xen/string.h>
#include <xen/delay.h>
#include <xen/smp.h>
+#include <asm/current.h>
#include <asm/processor.h>
#include <asm/i387.h>
#include <asm/msr.h>
#define APIC_DEFINITION 1
#include <xen/config.h>
#include <xen/cpumask.h>
+#include <asm/current.h>
#include <asm/mpspec.h>
#include <asm/genapic.h>
#include <asm/fixmap.h>
#define APIC_DEFINITION 1
#include <xen/config.h>
#include <xen/cpumask.h>
+#include <asm/current.h>
#include <asm/mpspec.h>
#include <asm/mach-default/mach_apicdef.h>
#include <asm/genapic.h>
#define APIC_DEFINITION 1
#include <xen/config.h>
#include <xen/cpumask.h>
+#include <asm/current.h>
#include <asm/mpspec.h>
#include <asm/genapic.h>
#include <asm/fixmap.h>
#define APIC_DEFINITION 1
#include <xen/config.h>
#include <xen/cpumask.h>
+#include <asm/current.h>
#include <asm/mpspec.h>
#include <asm/genapic.h>
#include <asm/fixmap.h>
#include <xen/irq.h>
#include <xen/perfc.h>
#include <xen/sched.h>
+#include <asm/current.h>
#include <asm/smpboot.h>
irq_desc_t irq_desc[NR_IRQS];
#include <xen/smp.h>
#include <xen/spinlock.h>
+#include <asm/current.h>
#include <asm/msr.h>
#include <asm/uaccess.h>
#include <asm/processor.h>
#include <xen/sched.h>
#include <xen/console.h>
#include <xen/smp.h>
+#include <asm/current.h>
#include <asm/mc146818rtc.h>
#include <asm/msr.h>
#include <asm/mpspec.h>
#include <xen/sched.h>
#include <xen/irq.h>
#include <xen/event.h>
+#include <asm/current.h>
#include <asm/smpboot.h>
#include <public/xen.h>
#include <public/physdev.h>
#include <xen/delay.h>
#include <xen/perfc.h>
#include <xen/spinlock.h>
+#include <asm/current.h>
#include <asm/smp.h>
#include <asm/mc146818rtc.h>
#include <asm/flushtlb.h>
#include <xen/sched.h>
#include <xen/irq.h>
#include <xen/delay.h>
+#include <asm/current.h>
#include <asm/mc146818rtc.h>
#include <asm/desc.h>
#include <asm/div64.h>
#include <xen/errno.h>
#include <xen/trace.h>
+#include <asm/current.h>
#include <asm/cpufeature.h>
#include <asm/processor.h>
#include <asm/msr.h>
#include <xen/lib.h>
#include <xen/errno.h>
+#include <asm/current.h>
#include <asm/cpufeature.h>
#include <asm/processor.h>
#include <asm/msr.h>
#include <xen/sched.h>
#include <xen/mm.h>
#include <xen/perfc.h>
+#include <asm/current.h>
#include <asm/domain_page.h>
#include <asm/flushtlb.h>
#include <asm/hardirq.h>
#include <xen/lib.h>
#include <xen/init.h>
#include <xen/mm.h>
+#include <asm/current.h>
#include <asm/page.h>
#include <asm/flushtlb.h>
#include <asm/fixmap.h>
#include <xen/console.h>
#include <xen/mm.h>
#include <xen/irq.h>
+#include <asm/current.h>
#include <asm/flushtlb.h>
#ifdef CONFIG_VMX
#include <xen/init.h>
#include <xen/mm.h>
#include <xen/sched.h>
+#include <asm/current.h>
#include <asm/asm_defns.h>
#include <asm/page.h>
#include <asm/flushtlb.h>
#include <xen/irq.h>
#include <xen/console.h>
#include <xen/sched.h>
+#include <asm/current.h>
#include <asm/flushtlb.h>
#include <asm/msr.h>
#include <xen/trace.h>
#include <xen/console.h>
#include <public/sched_ctl.h>
+#include <asm/current.h>
extern long arch_do_dom0_op(dom0_op_t *op, dom0_op_t *u_dom0_op);
extern void arch_getdomaininfo_ctxt(
#include <xen/sched.h>
#include <xen/event.h>
#include <xen/shadow.h>
+#include <asm/current.h>
#include <asm/domain_page.h>
#include <asm/hardirq.h>
#include <xen/sched.h>
#include <xen/event.h>
#include <xen/irq.h>
+#include <asm/current.h>
#include <public/xen.h>
#include <public/event_channel.h>
#include <xen/sched.h>
#include <xen/event.h>
#include <xen/multicall.h>
+#include <asm/current.h>
#include <asm/hardirq.h>
struct mc_state mc_state[NR_CPUS];
#include <xen/keyhandler.h>
#include <xen/mm.h>
#include <xen/delay.h>
+#include <asm/current.h>
#include <asm/uaccess.h>
#include <asm/debugger.h>
#include <asm/io.h>
#include <xen/perfc.h>
#include <xen/sched.h>
#include <xen/mm.h>
+#include <asm/current.h>
#include <asm/flushtlb.h>
#include <asm/processor.h>
#include <asm/domain_page.h>
#include <xen/config.h>
#include <xen/kernel.h>
#include <xen/cpumask.h>
-#include <asm/current.h>
#endif
#ifdef CONFIG_X86_LOCAL_APIC
#include <xen/lib.h>
#include <xen/smp.h>
#include <asm/bitops.h>
+#include <asm/current.h>
#include <asm/hardirq.h>
typedef void (*softirq_handler)(void);